منابع مشابه
Topological order parameters for interacting topological insulators.
We propose a topological order parameter for interacting topological insulators, expressed in terms of the full Green's functions of the interacting system. We show that it is exactly quantized for a time-reversal invariant topological insulator, and it can be experimentally measured through the topological magneto-electric effect. This topological order parameter can be applied to both interac...
متن کاملShredding higher-order nested queries
We present a modular account of query shredding, the simulation of a single nested relational query by a number of flat relational queries, applicable to both set and multiset semantics. Our key insight is that shredding can be greatly simplified by first rewriting the input query into a canonical normal form. Normalisation allows us to define shredding translations on types and terms independe...
متن کاملSuperconductors with Topological Order
We propose a mechanism of superconductivity in which the order of the ground state does not arise from the usual Landau mechanism of spontaneous symmetry breaking but is rather of topological origin. The low-energy effective theory is formulated in terms of emerging gauge fields rather than a local order parameter and the ground state is degenerate on topologically non-trivial manifolds. The si...
متن کاملBoundedness of linear order-homomorphisms in $L$-topological vector spaces
A new definition of boundedness of linear order-homomorphisms (LOH)in $L$-topological vector spaces is proposed. The new definition iscompared with the previous one given by Fang [The continuity offuzzy linear order-homomorphism, J. Fuzzy Math. 5 (4) (1997)829$-$838]. In addition, the relationship between boundedness andcontinuity of LOHs is discussed. Finally, a new uniform boundednessprincipl...
متن کاملA First-Order Logic on Higher-Order Nested Pushdown Trees
We introduce a new hierarchy of higher-order nested pushdown trees generalising Alur et al.’s concept of nested pushdown trees. Nested pushdown trees are useful representations of control flows in the verification of programs with recursive calls of first-order functions. Higher-order nested pushdown trees are expansions of unfoldings of graphs generated by higher-order pushdown systems. Moreov...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: New Journal of Physics
سال: 2011
ISSN: 1367-2630
DOI: 10.1088/1367-2630/13/12/125001